специализированные искусственные языки - это или символические языки науки, математики, логики, химии, лингвистики и пр., или языки человеко-машинного общения (языки программирования, информационные, управления базами данных и пр.). Это языки с формальным методом описания, правилами образования и преобразования выражений и формул, своей семантикой и пр. Они не являются закрытыми системами и поэтому количество порождаемых текстов бесконечно.